$\forall$${\it the\_es}$:ES, $e$, ${\it e'}$, $y$:E. ${\it e'}$ before $y$ $\in$ before($e$) $\Rightarrow$ (${\it e'}$ $<$loc $y$)